$\forall$$e$:$\mathbb{Q}$. $e$ $\uparrow$ 0 = 1 $\in$ $\mathbb{Q}$